Software repository

Results: 773



#Item
291Computer programming / Denotational semantics / Object-oriented design / Type safety / Actor model / Method overriding / Object / Type system / Modal logic / Software engineering / Computing / Object-oriented programming

Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:21:55
292R / Debian / Package / Dpkg / Software repository / R Commander / Software / Computing / Computer programming

CRAN Repository Policy Version $Revision: 3298 $ CRAN Repository Maintainers Preamble

Add to Reading List

Source URL: mirror.its.dal.ca

Language: English - Date: 2015-03-24 04:40:06
293Lambda calculus / Formal methods / Theoretical computer science / Type theory / Variables / Closure / Free variables and bound variables / Constant folding / Combinatory logic / Software engineering / Mathematics / Computing

Carnegie Mellon School of Computer Science Scheme Flow Analysis Note

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:12
294Crime prevention / National security / Software testing / Integrity / Vulnerability / Database / Ring / Computer security / Security / Cyberwarfare

ABSTRACT KIL, CHONGKYUNG. Mechanisms for Protecting Software Integrity in Networked Systems. (Under the direction of Associate Professor Peng Ning). Protecting software integrity is a key to successfully maintain its own

Add to Reading List

Source URL: repository.lib.ncsu.edu

Language: English - Date: 2010-10-28 07:21:39
295Perl / Cross-platform software / Racket / CPAN / Package management system / RPM Package Manager / Dpkg / Software versioning / Portage / Software / Computing / Computer programming

Component Deployment with PLaneT You Want it Where? Jacob Matthews University of Chicago

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:25:14
296Data types / C++ / Constant / Literal / C / J / Variable / String / Software engineering / Computing / Computer programming

The VLISP Linker William M. Farmer Joshua D. Guttman

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:41
297R / Debian / Package / Dpkg / Software repository / R Commander / Software / Computing / Computer programming

CRAN Repository Policy Version $Revision: 3298 $ CRAN Repository Maintainers Preamble

Add to Reading List

Source URL: cran.ism.ac.jp

Language: English - Date: 2015-05-27 11:47:17
298R / Debian / Package / Dpkg / Software repository / R Commander / Software / Computing / Computer programming

CRAN Repository Policy Version $Revision: 3298 $ CRAN Repository Maintainers Preamble

Add to Reading List

Source URL: cran.fiocruz.br

Language: English - Date: 2015-05-27 11:47:17
299R / Debian / Package / Dpkg / Software repository / R Commander / Software / Computing / Computer programming

CRAN Repository Policy Version $Revision: 3298 $ CRAN Repository Maintainers Preamble

Add to Reading List

Source URL: cran.case.edu

Language: English - Date: 2015-03-24 04:40:06
300R / Debian / Package / Dpkg / Software repository / R Commander / Software / Computing / Computer programming

CRAN Repository Policy Version $Revision: 3298 $ CRAN Repository Maintainers Preamble

Add to Reading List

Source URL: cran.at.r-project.org

Language: English - Date: 2015-05-27 11:47:17
UPDATE